翻訳と辞書 |
Galois connection : ウィキペディア英語版 | Galois connection In mathematics, especially in order theory, a Galois connection is a particular correspondence (typically) between two partially ordered sets (posets). The same notion can also be defined on preordered sets or classes; this article presents the common case of posets. Galois connections generalize the correspondence between subgroups and subfields investigated in Galois theory (named after the French mathematician Évariste Galois). They find applications in various mathematical theories. A Galois connection is rather weak compared to an order isomorphism between the involved posets, but every Galois connection gives rise to an isomorphism of certain sub-posets, as will be explained below. The literature contains two closely related notions of "Galois connection". In this article, we will distinguish between the two by referring to the first as (monotone) Galois connection and to the second as antitone Galois connection. The term Galois correspondence is sometimes used to mean bijective ''Galois connection''; this is simply an order isomorphism (or dual order isomorphism, dependently on whether we take monotone or antitone Galois connections). == Definitions ==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Galois connection」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|